Nuprl Definition : integ_dom
13,42
postcript
pdf
IntegDom{i} == {
r
:CRng| IsIntegDom(
r
)}
latex
clarification:
IntegDom{i} == {
r
:CRng{i}| IsIntegDom(
r
)}
latex
Up
rings
1
Wellformedness Lemmas
integ
dom
wf
Definitions
{
x
:
A
|
B
(
x
)}
,
CRng
,
IsIntegDom(
r
)
origin